window.addEventListener("DOMContentLoaded",  function() {
  TeXZilla.setSafeMode(true);
  TeXZilla.filterElement(document.documentElement);
});